Privacy in Real-Time Systems
نویسندگان
چکیده
منابع مشابه
Safety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملDetecting and counting vehicles using adaptive background subtraction and morphological operators in real time systems
vehicle detection and classification of vehicles play an important role in decision making for the purpose of traffic control and management.this paper presents novel approach of automating detecting and counting vehicles for traffic monitoring through the usage of background subtraction and morphological operators. We present adaptive background subtraction that is compatible with weather and ...
متن کاملConstrained Controller Design for Real-time Delay Recovery in Metro Systems
This study is concerned with the real-time delay recovery problem in metro loop lines. Metro is the backbone of public transportation system in large cities. A discrete event model for traffic system of metro loop lines is derived and presented. Two effective automatic controllers, linear quadratic regulator (LQR) and model predictive controller (MPC), are used to recover train delays. A newly-...
متن کاملReal - time systems and real - time
Date: 1st October 1996 Slide: 1-1 University of Skovde Technology Transfer: Real-time systems and databases Overview Model of real-time systems Basic concepts Dependability concepts Resource allocation Scheduling Real-time database { concurrency control { recovery { weakening of the ACID properties Date: 1st October 1996 Slide: 2 University of Skovde Technology Transfer: Real-time systems and...
متن کاملReal-time Property Preservation in Concurrent Real-time Systems
A key step in concurrent real-time system development is to build a model from which the implementation is synthesized. It is thus important to understand the relation between the properties of a model and its corresponding implementation. In this paper, we first build two relations: 1) 2-weakening relations on MITLR formulas, which are used to express real-time properties of the system, and 2)...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00229-4